perm filename N1TEST.PRF[P,JRA] blob sn#062831 filedate 1973-09-20 generic text, type T, neo UTF8
CHOICE-STRATEGY-IS: 
ANCESTRY∧SUPPORT[THM];

EDIT-STRATEGY-IS: 
DEPTH[1]∨LENGTH[1];

ELAPSED-TIME =617

NIL 1 2
1 ¬B;THM
2 A(a)⊃B;HYPS